<?xml version="1.0" ?>
<!DOCTYPE PISI SYSTEM "http://www.pisilinux.org/projeler/pisi/pisi-spec.dtd">
<PISI>
    <Source>
        <Name>isl</Name>
        <Homepage>http://www.kotnet.org/~skimo/isl/</Homepage>
        <Packager>
            <Name>Serdar Soytetir</Name>
            <Email>kaptan@pisilinux.org</Email>
        </Packager>
        <License>LGPLv2.1</License>
        <IsA>library</IsA>
        <Summary>Integer Set Library</Summary>
        <Description>isl is a library for manipulating sets and relations of integer points bounded by linear constraints.</Description>
        <Archive sha1sum="bbffc5a2b05e4f0c97e882f96c448504491dc4ed" type="tarbz2">http://isl.gforge.inria.fr/isl-0.18.tar.bz2</Archive>
        <BuildDependencies>
            <Dependency>gmp-devel</Dependency>
        </BuildDependencies>
        <Patches>
            <Patch>isl-0.07-gdb-autoload-dir.patch</Patch>
        </Patches>
    </Source>

    <Package>
        <Name>isl</Name>
        <RuntimeDependencies>
            <Dependency>gmp</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="library">/usr/lib</Path>
            <Path fileType="doc">/usr/share/doc</Path>
            <Path fileType="data">/usr/share/gdb</Path>
        </Files>
    </Package>

    <Package>
        <Name>isl-devel</Name>
        <Summary>Development files for isl</Summary>
        <RuntimeDependencies>
            <Dependency release="current">isl</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="header">/usr/include</Path>
            <Path fileType="library">/usr/lib/pkgconfig</Path>
        </Files>
    </Package>

    <History>
        <Update release="3">
            <Date>2017-04-08</Date>
            <Version>0.18</Version>
            <Comment>fix ldconfig.</Comment>
            <Name>Ertuğrul Erata</Name>
            <Email>ertugrulerata@gmail.com</Email>
        </Update>
        <Update release="3">
            <Date>2017-01-27</Date>
            <Version>0.18</Version>
            <Comment>Version bump.</Comment>
            <Name>Ertuğrul Erata</Name>
            <Email>ertugrulerata@gmail.com</Email>
        </Update>
        <Update release="2">
            <Date>2016-04-27</Date>
            <Version>0.16.1</Version>
            <Comment>Release Bump</Comment>
            <Name>PisiLinux Community</Name>
            <Email>admin@pisilinux.org</Email>
        </Update>
        <Update release="1">
            <Date>2016-03-13</Date>
            <Version>0.16.1</Version>
            <Comment>First release</Comment>
            <Name>Ertuğrul Erata</Name>
            <Email>ertugrulerata@gmail.com</Email>
        </Update>
    </History>
</PISI>
